Effective Cardinals of Boldface Pointclasses
نویسندگان
چکیده
Assuming AD+DC(R), we characterize the self-dual boldface pointclasses which are strictly larger (in terms of cardinality) than the pointclasses contained in them: these are exactly the clopen sets, the collections of all sets of Wadge rank ≤ ω 1, and those of Wadge rank < ω ξ 1 when ξ is limit.
منابع مشابه
Determinacy in strong cardinal models
We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: Theorem A Det(Π1-IND)⇒there exists an inner model with a strong cardinal. Theorem B Det(AQI)⇒there exist type-1 mice and hence inner models with proper classes of strong cardinals where Π1-IND (AQI) is the pointclass o...
متن کاملA Theorem of Woodin on Mouse Sets
It is well known that for any n < ω, the reals in the minimal fully iterable L[ ~ E]-model with n Woodin cardinals are exactly the reals which are ∆n+2 in a countable ordinal ([8]). In a similar vein, the reals in the minimal fully iterable L[ ~ E]-model with ω Woodin cardinals are exactly those which are ∆ L(R) 1 in a countable ordinal, or equivalently, OD L(R) ([7]). Rudominer ([5]) has exten...
متن کاملLarge cardinals and definable well-orders, without the GCH
We show that there is a class-sized partial order P with the property that forcing with P preserves ZFC, supercompact cardinals, inaccessible cardinals and the value of 2κ for every inaccessible cardinal κ and, if κ is an inaccessible cardinal and A is an arbitrary subset of κκ, then there is a P-generic extension of the ground model V in which A is definable in 〈H(κ+)V[G],∈〉 by a Σ1-formula wi...
متن کاملWadge Hierarchy of differences of Co-analytic Sets
We begin the fine analysis of non Borel pointclasses. Working in ZFC + ̃ 11), we describe the Wadge hierarchy of the class of increasing differences of coanalytic subsets of the Baire space by extending results obtained by Louveau ([5]) for the Borel sets. Introduction. Collections of substets of the Baire space, the "logician’s reals", that are closed under continuous preimages have always been...
متن کاملBe Precise or Fuzzy: Learning the Meaning of Cardinals and Quantifiers from Vision
People can refer to quantities in a visual scene by using either exact cardinals (e.g. one, two, three) or natural language quantifiers (e.g. few, most, all). In humans, these two processes underlie fairly different cognitive and neural mechanisms. Inspired by this evidence, the present study proposes two models for learning the objective meaning of cardinals and quantifiers from visual scenes ...
متن کامل